package simplytyped



  
sealed abstract class LType extends LTerm
 
case class TyBool() extends LType 
 {
   override def toString = "bool"
 }
 
case class TyInt() extends LType
 {
   override def toString = "int"
 }
 
case class TyArr(t1: LType, t2: LType) extends LType {
   override def toString = "("+t1 +" => " +t2+")"
 }

case class TyUnit() extends LType
{
  override def toString = "unit"
}
 
 